A Default-logic Paradigm for Legal Fact-finding

نویسنده

  • Vern R. Walker
چکیده

Unlike research in linguistics and artificial intelligence, legal research has not used advances in logical theory very effectively. This article uses default logic to develop a paradigm for analyzing the reasoning behind legal fact-finding. The article provides a formal model that integrates legal rules and policies with the evaluation of both expert and nonexpert evidence—whether the fact-finding occurs in courts or administrative agencies, and whether in domestic, foreign, or international legal systems. This paradigm can standardize the representation of fact-finding reasoning, guide empirical research into the dynamics of such reasoning, and help prepare such representations and research results for automation through artificial intelligence software. This new model therefore has the potential to transform legal practice and legal education, as well as legal theory. CITATION: Vern R. Walker, A Default-Logic Paradigm for Legal Fact-Finding, 47 Jurimetrics J. 193–243 (2007). Legal scholarship and practice have made too little use of logical theory, and as a result are making too little progress in understanding the formal structure of legal fact-finding, in developing effective methods of searching legal information, and in automating legal reasoning through artificial intelligence (AI). Although legal theorists have long acknowledged the relevance of traditional *Professor of Law, Hofstra University. The author is grateful for the financial support provided by a research grant from Hofstra University and for the comments on the article by the peer reviewers and by Matthew Buschi. 1. Logical theory studies those patterns of reasoning that ought to be persuasive to a reasonable person seeking knowledge. Logic therefore studies reasonable inference, even when it is performed by artificial agents. Logical research is distinct from research into the patterns of reasoning that are in fact persuasive to human beings—research in such fields as psychology, rhetoric, and cognitive science. See, e.g., DOUGLAS WALTON, LEGAL ARGUMENTATION AND EVIDENCE 347 (2002) (contrasting logical uses of argument with psychological or rhetorical uses).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

8 A Structural Property on Modal Frames Characterizing Default

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We reene the canonical x point construction deened by Marek, Schwarz and Truszczy nski for Reiter's default logic and thus we address a new paradigm for nonmonotonic logic. In fact, diierently from the construction deened by these authors, we show that suitable...

متن کامل

A Default-Logic Framework for Legal Reasoning in Multiagent Systems

Using law and evidence to achieve fair and accurate decisions in numerous legal cases requires a complex multiagent system. This paper discusses a framework based on many-valued, predicate, default logic that successfully captures legal knowledge, integrates and evaluates expert and non-expert evidence, coordinates agents working on different legal problems, and evolves the knowledge model over...

متن کامل

Working Paper – Do Not Cite or Quote without Author’s Written Permission Visualizing the Dynamics around the Rule/Evidence Interface in Legal Reasoning

In modern legal systems, the litigated issues are numerous, the reasoning is complex, and the decision-making processes are highly regulated. Moreover, the decision-making integrates legal rules and policies with expert and non-expert evidence. What is needed is a means of representing, studying, and partially automating such complex legal reasoning. This paper presents a visual framework for m...

متن کامل

DEFAULT QUANTIFIER LOGIC A canonical framework for monotonic reasoning with first-order default knowledge

In this paper we present a powerful uniform first-order framework for representing and reasoning with complex forms of default knowledge. This is achieved by extending first-order predicate logic with a new generalized quantifier, anchored in the quasi-probabilistic ranking measure paradigm [Weydert 94], which subsumes and refines the original, propositional notion of a default conditional [Del...

متن کامل

Default Reasoning over Domains and Concept Hierarchies

W.C. Rounds and G.-Q. Zhang have proposed to study a form of disjunctive logic programming generalized to algebraic domains [1]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007